higher order logic

un. 高阶逻辑
[网络] 高级逻辑

热门查询

minimalistic　　极简化的简约的
Hannover　　n. 汉诺威（德国城市）
LDDC　　abbr. 发展中国家中的最不发达国家（least developed among developing countries）；伦敦码头区开发有限公司（The London Docklands Development Corporation）
Horan　　[人名] [爱尔兰姓氏] 霍兰盖尔语姓氏的英语形式，来源于人名，含义是“好战的”(warlike); [人名] [爱尔兰姓氏] 霍兰盖尔语姓氏的英语形式，来源于人名，含义是“暗褐色的”(duncoloured); [人名] [爱尔兰姓氏] 霍兰 Hanrahan的变体
oh　　int. 哦；哎呀（表示惊讶或恐惧等）
ranula　　n. [口腔] 舌下囊肿
defrock　　vt. 解除僧职；剥去法衣
churchman　　n. 牧师；教徒 n. (Churchman)人名；(英)丘奇曼
Carstairs　　[人名] [苏格兰人姓氏] 卡斯泰尔斯住所名称，来源于中世纪英语，含义是“城堡”(castle)+人名Tarra; [地名] [加拿大、英国] 卡斯泰尔斯
chaser　　n. 驱逐舰；猎人；饮烈酒后喝的饮料；[机] 螺纹梳刀
underwriter　　n. 保险公司；保险业者；承诺支付者；担保人
salvia　　n. 鼠尾草 n. (Salvia)人名；(意、西、罗)萨尔维娅 (女名)，萨尔维亚
slum　　n. 贫民窟；陋巷；脏乱的地方 vi. （为猎奇或救济等）去贫民窟
Furby　　[人名] 弗比
interweaving　　n. 交织性 v. 使交织；使混杂（interweave的ing形式）
knit　　vi. 编织；结合；皱眉 vt. 编织；结合 n. 编织衣物；编织法
faltering　　adj. 蹒跚的；犹豫的；支吾的 v. 支吾地说，蹒跚地走（falter的现在分词）
belted　　adj. 佩礼带的；束带的；装甲的 v. 系上腰带；用带系上（belt的过去分词）
dosing　　定量给料
twofold　　adj. 双重的；两倍的 adv. 双重地；两倍地